Project-Team:MARELLE

Project-Team Marelle

Members

Overall Objectives

Research Program

Type theory and formalization of mathematics
Verification of scientific algorithms
Programming language semantics

Application Domains

Reliability of embedded software
Security and Cryptography
Mathematics and Education

Software and Platforms

Tralics
Semantics
Easycrypt
CoqEAL
CoqApprox
CoqHensel

New Results

Bourbaki, Sets and Ordinals
Homotopy Type Theory
Isolation of polynomial roots
Properties of the π number
Formal study of cryptography
Approximation of Mathematical functions
Formal verification in Geometry
SMT automation for Ssreflect

Partnerships and Cooperations

National Initiatives
European Initiatives
International Initiatives
International Research Visitors

Dissemination

Scientific Animation
Teaching - Supervision - Juries
Popularization

Bibliography

Major publications
Publications of the year

Inria | Raweb 2013 | Presentation of the Project-Team MARELLE | MARELLE Web Site


	PDF	e-Pub

Previous |

Home | Next next

Section: Partnerships and Cooperations

International Initiatives

Informal International Partners

We interact regularly with the team of Prof. Thierry Coquand at University of Göteborg and Chalmers University in Sweden and the team of Prof. Julio Rubio at Universidad de La Rioja in spain.

Previous |

Home | Next next